-
Notifications
You must be signed in to change notification settings - Fork 452
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
[gitpod-shared] Use "waitForSnapshot" to avoid disconnects #169
Conversation
e31ddea
to
6b972bb
Compare
6b972bb
to
07e2148
Compare
3e2ba9b
to
37739b0
Compare
d6a1f58
to
0800cc4
Compare
0800cc4
to
c54bf16
Compare
c54bf16
to
593afd7
Compare
07e2148
to
084af3d
Compare
c23521a
to
7a7d2cc
Compare
7a7d2cc
to
abd22af
Compare
abd22af
to
45b6518
Compare
802b785
to
014f2ed
Compare
014f2ed
to
83507ab
Compare
83507ab
to
5506536
Compare
895c073
to
022132f
Compare
084af3d
to
d14228e
Compare
022132f
to
8389d76
Compare
@geropl could you rebase and resolve conflicts please? 🙏 or would you be fine if i do it? Server side already deployed in production correct? |
Uh, that was quick - did rebase yesterday 🙈
Yes, since last week. |
d14228e
to
e4bb7a6
Compare
@akosyakov Should be up-to-date 👍 |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
worked nicely, should be available in tomorrow insiders
Companion PR for: gitpod-io/gitpod#6144
The plan is to hold this PR until the other one ☝️ has been deployed.